Search results for "model [interaction]"
showing 10 items of 1495 documents
Generation of User Interfaces from Business Process Model Notation (BPMN)
2019
Business Process Model Notation focuses on functional processes; so, the design of the interface generally depends on the subjective experience of the analyst. This thesis proposes a new method to generate interfaces from BPMN models. The idea is to identify rules from BPMN to interfaces in existing real projects. We have analyzed 7 Bizagi projects to generalize a list of rules. It has been done considering five BPMN patterns. Apart from BPMN primitives, there are rules that depend on elements of Class Diagrams to know how to generate the interfaces. When the rules have several alternatives to generate the interfaces, we need an unambiguous semantics to specify which alternative we are goin…
Architecture and Language for Semantic Reduction of Domain-Specific Models in BPMS
2012
Nowadays each business process management system (BPMS) supports either an industry standard or its own specific modeling language. But no BPMS supports a specific language for each organization. We propose an architecture for building BPMS that allows creating a domain-specific modeling language for every client easily. The main problem is to bridge the gap between the domain-specific language and the executable language. We show that we can look at this problem as a classification of the domain-specific language constructs in the terms of the executable language. To solve this problem we present a novel model transformation language, with which this type of problem can be solved more natu…
The role of network connectivity on epileptiform activity.
2021
AbstractA number of potentially important mechanisms have been identified as key players to generate epileptiform activity, such as genetic mutations, activity-dependent alteration of synaptic functions, and functional network reorganization at the macroscopic level. Here we study how network connectivity at cellular level can affect the onset of epileptiform activity, using computational model networks with different wiring properties. The model suggests that networks connected as in real brain circuits are more resistant to generate seizure-like activity. The results suggest new experimentally testable predictions on the cellular network connectivity in epileptic individuals, and highligh…
Specifications of model development
2016
Chapter 4 goes into detail with the specifications of the model and model validation. Why Partial Least Squares (PLS), a structural equation modelling approach, is chosen as the method for model testing is explained in section 4.1, while 4.2 describes the survey conducted to collect data for model testing. Section 4.3 goes into detail with the PLS approach, its theoretical background and its application to the research question, before section 4.4 outlines the necessary operationalisation of the constructs introduced in chapter 3.
MIPPIE: the mouse integrated protein–protein interaction reference
2020
Abstract Cells operate and react to environmental signals thanks to a complex network of protein–protein interactions (PPIs), the malfunction of which can severely disrupt cellular homeostasis. As a result, mapping and analyzing protein networks are key to advancing our understanding of biological processes and diseases. An invaluable part of these endeavors has been the house mouse (Mus musculus), the mammalian model organism par excellence, which has provided insights into human biology and disorders. The importance of investigating PPI networks in the context of mouse prompted us to develop the Mouse Integrated Protein–Protein Interaction rEference (MIPPIE). MIPPIE inherits a robust infr…
Competition of Dzyaloshinskii-Moriya and Higher-Order Exchange Interactions in Rh/Fe Atomic Bilayers on Ir(111)
2018
Using spin-polarized scanning tunneling microscopy and density functional theory we demonstrate the occurrence of a novel type of noncollinear spin structure in $\mathrm{Rh}/\mathrm{Fe}$ atomic bilayers on Ir(111). We find that higher-order exchange interactions depend sensitively on the stacking sequence. For fcc-$\mathrm{Rh}/\mathrm{Fe}/\mathrm{Ir}(111)$, frustrated exchange interactions are dominant and lead to the formation of a spin spiral ground state with a period of about 1.5 nm. For hcp-$\mathrm{Rh}/\mathrm{Fe}/\mathrm{Ir}(111)$, higher-order exchange interactions favor an up-up-down-down ($\ensuremath{\uparrow}\ensuremath{\uparrow}\ensuremath{\downarrow}\ensuremath{\downarrow}$) s…
On Severi Type Inequalities for Irregular Surfaces
2017
Let X be a minimal surface of general type and maximal Albanese dimension with irregularity q ≥ 2. We show that K2 X ≥ 4χ(OX) + 4(q − 2) if K2 X < 9 2 χ(OX), and also obtain the characterization of the equality. As a consequence, we prove a conjecture of Manetti on the geography of irregular surfaces if K2 X ≥ 36(q−2) or χ(OX) ≥ 8(q−2), and we also prove a conjecture that the surfaces of general type and maximal Albanese dimension with K2 X = 4χ(OX) are exactly the resolution of double covers of abelian surfaces branched over ample divisors with at worst simple singularities.
An optimality test for semi-infinite linear programming
1992
In this paper we present a test to characterize the optimal solutions for the continuous semi-infinite linear programming problem. This optimality characterization is a condition of Kuhn–Tucker type. The resolution of a linear program permits to check the optimality of a feasible point,to detect the unboundedness of the problem and to find descent directions. We give some illustrative examples. We show that the local Mangasarian–Fromovitz constraint qualification is almost equivalent to Slater qualification for this problem. Furthermore, it follows from our study that this optimality condition is always necessary for a wide class of semi-infinite linear programming problems
Towards human cell simulation
2019
The faithful reproduction and accurate prediction of the phe-notypes and emergent behaviors of complex cellular systems are among the most challenging goals in Systems Biology. Although mathematical models that describe the interactions among all biochemical processes in a cell are theoretically feasible, their simulation is generally hard because of a variety of reasons. For instance, many quantitative data (e.g., kinetic rates) are usually not available, a problem that hinders the execution of simulation algorithms as long as some parameter estimation methods are used. Though, even with a candidate parameterization, the simulation of mechanistic models could be challenging due to the extr…
A Novel Adaptive Sliding Mode Controller for a 2-DOF Elastic Robotic Arm
2022
Collaborative robots (or cobots) are robots that are capable of safely operating in a shared environment or interacting with humans. In recent years, cobots have become increasingly common. Compliant actuators are critical in the design of cobots. In real applications, this type of actuation system may be able to reduce the amount of damage caused by an unanticipated collision. As a result, elastic joints are expected to outperform stiff joints in complex situations. In this work, the control of a 2-DOF robot arm with elastic actuators is addressed by proposing a two-loop adaptive controller. For the outer control loop, an adaptive sliding mode controller (ASMC) is adopted to deal with unce…